تاملی در منطق ریاضی (نگرش تابع ارزشی)

author

غلامرضا ذکیانی

Abstract:

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ارزش) مولفه های استدلال تعیین می گردد. این امر موجب پیدایش پارادوکس های استلزام مادی گشته است. رایج ترین پارادوکس استلزام مادی. استنتاج هر گزاره ای از تناقض است که ساده ترین تقریر آن را لوئیس اقامه کرده است. ضمن نقد برهان لوئیس و پیامدهای آن به نقل و نقد دفاعیات حامیان استلزام مادی می پردازیم اصل تناقض – برهان خلف – گزاره های شرطی – کل گرایی کواین و شرطی های خلاف واقع نیز تحلیل می شود.

Upgrade to premium to download articles

Already have an account?login

similar resources

تاملی در منطق ریاضی

در این مقاله به یکی از بنیان های اصلی منطقه جدید یعنی نگرش تابع ارزشی پرداخته شده است و با بحث از استلزام مادی،که شرایط صدق گزاره های شرطی را معرفی کند و معرفی پارادوکس های استلزام مادی،که تنافر این شرایط را با شهود طبیعی و عرفی اهل زبان نشان می دهند،اعتبار و اتقان این نگرش مردود شمره شده است.

full text

تاملی در منطق ریاضی

full text

مبانی «برنهاد منطق ریاضی» راسل

با در نظر گرفتن دو جریان فراگیر فلسفی قرن نوزدهم یعنی ایده‌آلیسم و رئالیسم، آنچه در این مقاله مورد بررسی قرار میگیرد این است که راسل بر پایه کدام نظام فلسفی منطقگرایی خود را بنا کرد. طرح منطقگرایی راسل در سه دوره فکری بررسی میشود. در دوره اوّل راسل در بررسیهای منطقی خویش رویکرد ایده‌آلیستی دارد. در دوره دوّم با پایهریزی فلسفه رئالیستی خود نسخه اوّلیه منطقگراییاش را در اصول میآورد. ...

full text